(define un
  (print (local-syntax one
		       (lambda (exp env)
			 (let ((id (syntax-quote x)))
			   (list (syntax-quote let)
				 (list (list (syntax-quote x) (syntax-quote 1)))
				 id)))
		       (one))))

